- automatic proof
- мат.автоматическое доказательство
English-Russian scientific dictionary. 2008.
automatic proof
Смотреть что такое "automatic proof" в других словарях:
Proof-of-payment — or POP is an honor based fare collection approach used on many public transportation systems. Instead of checking each passenger as they enter a fare control zone, proof of payment requires that each passenger carry a ticket or pass proving that… … Wikipedia
Automatic dependent surveillance-broadcast — (ADS B) is a cooperative surveillance technique for air traffic control and related applications. An ADS B out equipped aircraft determines its own position using a global navigation satellite system and periodically broadcasts this position and… … Wikipedia
automatic — UK US /ˌɔːtəˈmætɪk/ adjective ► an automatic machine, process, or system is able to operate, complete a task, or move by itself without being controlled by a person: »Tick the automatic update box and the date and time will be updated for you.… … Financial and business terms
Automatic weather station — An automatic weather station (AWS) is an automated version of the traditional weather station, either to save human labour or to enable measurements from remote areas. The system may report in near real time via the Argos System and the Global… … Wikipedia
Automatic number plate recognition — The system must be able to deal with different styles of license plates … Wikipedia
Automatic differentiation — In mathematics and computer algebra, automatic differentiation, or AD, sometimes alternatively called algorithmic differentiation, is a method to numerically evaluate the derivative of a function specified by a computer program. Two classical… … Wikipedia
Automatic theocracy — The term automatic theocracy was used in a hasty translation of a speech by the Reverend Sun Myung Moon, by non professional translating Korean language into English. The translated passage concerned Rev. Moon s prediction that the people of the… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Strong secrecy — is a term used in cryptography. Bruno Blanchet provides the following definition:: Strong secrecy means that an adversary cannot see any difference when the value of the secret changes [Blanchet, B. (2004) Automatic proof of strong secrecy for… … Wikipedia
competent — com·pe·tent / käm pə tənt/ adj 1: having or showing requisite or adequate ability or qualities a competent lawyer competent representation by counsel 2 a: free from addiction or mental defect that renders one incapable of taking care of oneself… … Law dictionary
Book trimming — automatic book trimming machine cutting two sides at once Book trimming is the stage of the book production process in which the page edges of a book are trimmed so that all pages will stack with perfect edge alignment within the finished book… … Wikipedia
